CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

利用 Nernst 效应的高 Tc 超导红外探测器分析

高T_c超导膜中Nernst效应的存在为研制辐射探测器开辟了新的途径。本文分析了以Nernst效应为基础的高T_c超导红外探测器的工作原理及有关的噪声源。     

GKD-l RRC 机器人控制器与力反馈顺应控制研究

GKD-1 RRC是为开展机器人力反馈顺应控制的研究而设计的新型机器人实时控制器。本文介绍了它的主要性能、特点,并对用它在PUMA 562机械手上完成的几个典型的力/位置混合控制实验及其控制策略、实验结果进行了说明。实验表明,以GKD-1 RRC为核心的机器人力控制系统,控制周期仅为4.88ms,力控制稳态误差平均小于100g,位置控制精度不低于机械手原有水平,证明GKD-1 RRC控制器性能优越。     

关于闭环火控原理中的若干问题

目前火控界对大闭环火控原理中的一些基本概念的看法还不太一致,有的甚至还比较模糊,对这些基本概念的深入探讨,对大闭环火控系统的发展有重要意义。本文针对其中一些基本问题谈了笔者的观点。     

舰载跟踪雷达捕获概率分析

论述了舰载跟踪雷达捕获概率的分析与计算方法,给出了影响跟踪雷达照准概率的误差环节,并对搜索雷达稳定平台的隔离剩余误差作了较详尽的分析。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

模拟式火控系统仿真通用建模方法

根据模拟式火控系统的数学模型和基本组成,本文论述了实施系统仿真时解算公式系和各主要子系统的一般建模方法。作为应用举例,给出了一种火控系统的仿真数学模型。同时提出了仿真模型有效性的一种通用检验方法。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。